$\forall$$T$:Type, $h$:$T$, $t$:($T$ List). $\neg$(cons($h$; $t$) = [])